perm filename BOOKS[W81,JMC] blob sn#570539 filedate 1981-03-10 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Proving programs correct - Robert B. Anderson - Wiley
C00003 ENDMK
CāŠ—;
Proving programs correct - Robert B. Anderson - Wiley

Is sometime ever better than alway? - David Gries - ACM Trans
Prog Lang Syst, 1, 2 (Oct 79) 258-265